$x$:$A$$\rightarrow$$B$($x$) \textbf{is Primitive}